\section{1.16} 
\begin{frame}[allowframebreaks]{1.16. }

\vspace{-0.4cm}

1.16. Holonomic defect. 

Let $M \in \mathrm{coh}(\mathcal{D}_X)$. 

The holonomic defect of $M$ is, by definition, $e(M) = d(M) - \dim X$. 

By 1.10, it is $\ge 0$, (unless $M = 0$).

\end{frame}

